Gaspard2 UML profile Documentation

This document describes the current UML profile of Gaspard2. This profile extends the UML semantics to allow the user to describe a SoC (System-on-Chip) in three steps: the application (behavior of the Soc), the hardware architecture, and the association of the application to the hardware architecture. The application is represented following a data flow model, but additional mechanisms permit the usage of control flow on those applications. In addition to those notions, the profile contains a package introducing factorization mechanisms to enable the compact description of massively parallel and repetitive systems. Key-words: Gaspard, UML, profile, system-on-chip, parallelism, data-parallelism, co-modeling Documentation du profil UML Gaspard2 Résumé : Ce document décrit le profil UML Gaspard2 actuel. Ce profil étend la sémantique d’UML pour permettre à l’utilisateur de décrire un SoC (système-sur-puce) en trois étapes : l’application (le comportement du SoC), l’architecture matérielle, et l’association de l’application sur l’architecture. L’application est représentée selon un modèle de flux de données, mais des mécanismes supplémentaires permettent l’usage d’un flux de contrôle sur ces applications. En complément à ces notions, le profil contient un paquetage introduisant des mécanismes de factorisation rendant possible la description compacte de systèmes massivement parallèles répétitifs. Mots-clés : Gaspard, UML, profil, système-sur-puce, parallélisme, parallélisme de données, comodélisation Gaspard2 UML profile documentation 3